конъюнктивный нормальная форма

См. также в других словарях:

• Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …   Википедия

• Конъюнктивный одночлен — (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборов аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то… …   Википедия

• Совершенный одночлен — конъюнктивный или дизъюнктивный одночлен, в котором от каждой пары имеется только один представитель или Примеры совершенный конъюнктивный одночлен …   Википедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• Дизъюнктивный одночлен — (макстерм) от переменных дизъюнкция этих переменных или[1] их отрицаний. Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1. Примеры …   Википедия

• Макстерм — Дизъюнктивный одночлен (макстерм) от переменных дизъюнкция этих переменных или[1] их отрицаний. Макстерм равен 0 только при единственном наборе аргументов. Если макстерм содержит одновременно переменную и её отрицание, то он всегда равен 1.… …   Википедия

• Минтерм — Конъюнктивный одночлен (минтерм) от переменных конъюнкция этих переменных или[1] их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся… …   Википедия